A Formal Model of Partitioning for Integrated Modular Avionics

Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA Scientific and Technical Information (STI) Program Office plays a key part in helping NASA maintain this important role. The NASA STI Program Office is operated by Langley Research Center, the lead center for NASAÕs scientific and technical information. The NASA STI Program Office provides access to the NASA STI Database, the largest collection of aeronautical and space science STI in the world. The Program Office is also NASAÕs institutional mechanism for disseminating the results of its research and development activities. These results are published by NASA in the NASA STI Report Series, which includes the following report types: · TECHNICAL PUBLICATION. Reports of completed research or a major significant phase of research that present the results of NASA programs and include extensive data or theoretical analysis. Includes compilations of significant scientific and technical data and information deemed to be of continuing reference value. NASA counterpart of peer reviewed formal professional papers, but having less stringent limitations on manuscript length and extent of graphic presentations. · TECHNICAL MEMORANDUM. Scientific and technical findings that are preliminary or of specialized interest, e.g., quick release reports, working papers, and bibliographies that contain minimal annotation. Does not contain extensive analysis. · CONTRACTOR REPORT. Scientific and technical findings by NASA-sponsored contractors and grantees. · CONFERENCE PUBLICATION. Collected papers from scientific and technical conferences, symposia, seminars, or other meetings sponsored or co-sponsored by NASA. · TECHNICAL TRANSLATION. English-language translations of foreign scientific and technical material pertinent to NASAÕs mission. Specialized services that help round out the STI Program OfficeÕs diverse offerings include creating custom thesauri, building customized databases, organizing and publishing research results ... even providing videos.